node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,12) :- #0.793.
link(12,1) :- #0.861.
link(1,18) :- #0.935.
link(18,1) :- #0.184.
link(1,19) :- #0.639.
link(19,1) :- #0.767.
link(1,39) :- #0.977.
link(39,1) :- #0.591.
link(1,41) :- #0.707.
link(41,1) :- #0.274.
link(1,43) :- #0.341.
link(43,1) :- #0.683.
link(1,49) :- #0.2.
link(49,1) :- #0.308.
link(1,54) :- #0.358.
link(54,1) :- #0.188.
link(1,62) :- #0.545.
link(62,1) :- #0.25.
link(1,88) :- #0.357.
link(88,1) :- #0.083.
link(1,90) :- #0.004.
link(90,1) :- #0.806.
link(1,113) :- #0.733.
link(113,1) :- #0.031.
link(1,117) :- #0.38.
link(117,1) :- #0.234.
link(1,119) :- #0.798.
link(119,1) :- #0.377.
link(1,124) :- #0.09.
link(124,1) :- #0.401.
link(2,16) :- #0.162.
link(16,2) :- #0.829.
link(2,23) :- #0.992.
link(23,2) :- #0.946.
link(2,30) :- #0.915.
link(30,2) :- #0.226.
link(2,50) :- #0.615.
link(50,2) :- #0.111.
link(2,65) :- #0.131.
link(65,2) :- #0.486.
link(2,71) :- #0.426.
link(71,2) :- #0.188.
link(2,73) :- #0.668.
link(73,2) :- #0.787.
link(2,88) :- #0.483.
link(88,2) :- #0.728.
link(2,98) :- #0.056.
link(98,2) :- #0.765.
link(2,111) :- #0.4.
link(111,2) :- #0.503.
link(2,114) :- #0.462.
link(114,2) :- #0.467.
link(2,121) :- #0.891.
link(121,2) :- #0.262.
link(2,124) :- #0.628.
link(124,2) :- #0.426.
link(2,128) :- #0.649.
link(128,2) :- #0.66.
link(3,14) :- #0.125.
link(14,3) :- #0.528.
link(3,22) :- #0.012.
link(22,3) :- #0.656.
link(3,28) :- #0.498.
link(28,3) :- #0.9.
link(3,37) :- #0.316.
link(37,3) :- #0.668.
link(3,52) :- #0.559.
link(52,3) :- #0.218.
link(3,55) :- #0.158.
link(55,3) :- #0.763.
link(3,70) :- #0.597.
link(70,3) :- #0.388.
link(3,78) :- #0.919.
link(78,3) :- #0.022.
link(3,79) :- #0.797.
link(79,3) :- #0.312.
link(3,87) :- #0.745.
link(87,3) :- #0.612.
link(3,89) :- #0.439.
link(89,3) :- #0.165.
link(3,122) :- #0.266.
link(122,3) :- #0.225.
link(4,8) :- #0.192.
link(8,4) :- #0.755.
link(4,16) :- #0.328.
link(16,4) :- #0.783.
link(4,22) :- #0.886.
link(22,4) :- #0.802.
link(4,39) :- #0.911.
link(39,4) :- #0.152.
link(4,49) :- #0.059.
link(49,4) :- #0.364.
link(4,53) :- #0.749.
link(53,4) :- #0.33.
link(4,61) :- #0.223.
link(61,4) :- #0.932.
link(4,84) :- #0.42.
link(84,4) :- #0.731.
link(4,93) :- #0.368.
link(93,4) :- #0.423.
link(4,103) :- #0.204.
link(103,4) :- #0.055.
link(4,111) :- #0.828.
link(111,4) :- #0.191.
link(4,117) :- #0.73.
link(117,4) :- #0.533.
link(4,120) :- #0.055.
link(120,4) :- #0.352.
link(5,11) :- #0.633.
link(11,5) :- #0.087.
link(5,22) :- #0.401.
link(22,5) :- #0.967.
link(5,33) :- #0.38.
link(33,5) :- #0.295.
link(5,48) :- #0.064.
link(48,5) :- #0.526.
link(5,49) :- #0.403.
link(49,5) :- #0.668.
link(5,51) :- #0.472.
link(51,5) :- #0.621.
link(5,52) :- #0.221.
link(52,5) :- #0.083.
link(5,72) :- #0.508.
link(72,5) :- #0.769.
link(5,73) :- #0.664.
link(73,5) :- #0.779.
link(5,83) :- #0.884.
link(83,5) :- #0.922.
link(5,91) :- #0.521.
link(91,5) :- #0.836.
link(5,102) :- #0.236.
link(102,5) :- #0.994.
link(5,110) :- #0.139.
link(110,5) :- #0.699.
link(6,34) :- #0.054.
link(34,6) :- #0.548.
link(6,35) :- #0.014.
link(35,6) :- #0.237.
link(6,39) :- #0.652.
link(39,6) :- #0.956.
link(6,40) :- #0.336.
link(40,6) :- #0.93.
link(6,47) :- #0.05.
link(47,6) :- #0.617.
link(6,60) :- #0.568.
link(60,6) :- #0.453.
link(6,64) :- #0.832.
link(64,6) :- #0.125.
link(6,67) :- #0.351.
link(67,6) :- #0.931.
link(6,81) :- #0.978.
link(81,6) :- #0.412.
link(6,89) :- #0.609.
link(89,6) :- #0.089.
link(6,100) :- #0.888.
link(100,6) :- #0.21.
link(6,118) :- #0.49.
link(118,6) :- #0.982.
link(7,16) :- #0.724.
link(16,7) :- #0.617.
link(7,25) :- #0.329.
link(25,7) :- #0.829.
link(7,35) :- #0.03.
link(35,7) :- #0.985.
link(7,40) :- #0.91.
link(40,7) :- #0.117.
link(7,77) :- #0.826.
link(77,7) :- #0.642.
link(7,83) :- #0.048.
link(83,7) :- #0.604.
link(7,89) :- #0.969.
link(89,7) :- #0.669.
link(7,99) :- #0.36.
link(99,7) :- #0.463.
link(7,109) :- #0.163.
link(109,7) :- #0.867.
link(7,111) :- #0.751.
link(111,7) :- #0.833.
link(7,118) :- #0.153.
link(118,7) :- #0.261.
link(7,126) :- #0.901.
link(126,7) :- #0.521.
link(8,17) :- #0.163.
link(17,8) :- #0.911.
link(8,23) :- #0.977.
link(23,8) :- #0.204.
link(8,36) :- #0.814.
link(36,8) :- #0.915.
link(8,47) :- #0.149.
link(47,8) :- #0.893.
link(8,50) :- #0.444.
link(50,8) :- #0.371.
link(8,59) :- #0.749.
link(59,8) :- #0.723.
link(8,63) :- #0.964.
link(63,8) :- #0.659.
link(8,114) :- #0.216.
link(114,8) :- #0.701.
link(9,21) :- #0.169.
link(21,9) :- #0.812.
link(9,31) :- #0.145.
link(31,9) :- #0.257.
link(9,36) :- #0.282.
link(36,9) :- #0.484.
link(9,39) :- #0.006.
link(39,9) :- #0.5.
link(9,56) :- #0.892.
link(56,9) :- #0.19.
link(9,59) :- #0.46.
link(59,9) :- #0.612.
link(9,62) :- #0.307.
link(62,9) :- #0.139.
link(9,76) :- #0.941.
link(76,9) :- #0.758.
link(9,78) :- #0.348.
link(78,9) :- #0.294.
link(9,84) :- #0.647.
link(84,9) :- #0.248.
link(9,89) :- #0.473.
link(89,9) :- #0.725.
link(9,113) :- #0.514.
link(113,9) :- #0.122.
link(9,114) :- #0.463.
link(114,9) :- #0.239.
link(9,115) :- #0.854.
link(115,9) :- #0.109.
link(10,40) :- #0.286.
link(40,10) :- #0.572.
link(10,45) :- #0.282.
link(45,10) :- #0.527.
link(10,47) :- #0.852.
link(47,10) :- #0.521.
link(10,61) :- #0.455.
link(61,10) :- #0.678.
link(10,64) :- #0.409.
link(64,10) :- #0.704.
link(10,67) :- #0.05.
link(67,10) :- #0.872.
link(10,74) :- #0.196.
link(74,10) :- #0.663.
link(10,81) :- #0.89.
link(81,10) :- #0.294.
link(10,93) :- #0.463.
link(93,10) :- #0.626.
link(10,96) :- #0.02.
link(96,10) :- #0.438.
link(10,119) :- #0.18.
link(119,10) :- #0.007.
link(10,125) :- #0.044.
link(125,10) :- #0.97.
link(11,30) :- #0.164.
link(30,11) :- #0.09.
link(11,39) :- #0.638.
link(39,11) :- #0.425.
link(11,41) :- #0.159.
link(41,11) :- #0.778.
link(11,44) :- #0.621.
link(44,11) :- #0.439.
link(11,45) :- #0.752.
link(45,11) :- #0.947.
link(11,46) :- #0.717.
link(46,11) :- #0.999.
link(11,72) :- #0.269.
link(72,11) :- #0.174.
link(11,74) :- #0.162.
link(74,11) :- #0.916.
link(11,78) :- #0.777.
link(78,11) :- #0.211.
link(11,82) :- #0.143.
link(82,11) :- #0.015.
link(11,87) :- #0.515.
link(87,11) :- #0.829.
link(11,89) :- #0.952.
link(89,11) :- #0.125.
link(11,90) :- #0.996.
link(90,11) :- #0.955.
link(11,101) :- #0.186.
link(101,11) :- #0.149.
link(11,102) :- #0.258.
link(102,11) :- #0.698.
link(12,15) :- #0.034.
link(15,12) :- #0.45.
link(12,31) :- #0.529.
link(31,12) :- #0.736.
link(12,36) :- #0.939.
link(36,12) :- #0.508.
link(12,44) :- #0.604.
link(44,12) :- #0.087.
link(12,54) :- #0.942.
link(54,12) :- #0.689.
link(12,62) :- #0.41.
link(62,12) :- #0.826.
link(12,63) :- #0.946.
link(63,12) :- #0.938.
link(12,82) :- #0.432.
link(82,12) :- #0.286.
link(12,116) :- #0.578.
link(116,12) :- #0.795.
link(12,124) :- #0.423.
link(124,12) :- #0.65.
link(12,127) :- #0.402.
link(127,12) :- #0.12.
link(13,15) :- #0.191.
link(15,13) :- #0.021.
link(13,39) :- #0.862.
link(39,13) :- #0.13.
link(13,44) :- #0.361.
link(44,13) :- #0.46.
link(13,46) :- #0.65.
link(46,13) :- #0.262.
link(13,49) :- #0.122.
link(49,13) :- #0.744.
link(13,57) :- #0.397.
link(57,13) :- #0.244.
link(13,62) :- #0.941.
link(62,13) :- #0.492.
link(13,72) :- #0.837.
link(72,13) :- #0.657.
link(13,81) :- #0.279.
link(81,13) :- #0.556.
link(13,85) :- #0.405.
link(85,13) :- #0.906.
link(13,86) :- #0.184.
link(86,13) :- #0.521.
link(13,95) :- #0.737.
link(95,13) :- #0.62.
link(13,97) :- #0.581.
link(97,13) :- #0.491.
link(13,98) :- #0.632.
link(98,13) :- #0.135.
link(13,103) :- #0.415.
link(103,13) :- #0.02.
link(13,106) :- #0.72.
link(106,13) :- #0.356.
link(13,107) :- #0.113.
link(107,13) :- #0.672.
link(13,109) :- #0.741.
link(109,13) :- #0.282.
link(13,112) :- #0.005.
link(112,13) :- #0.851.
link(13,125) :- #0.783.
link(125,13) :- #0.127.
link(13,129) :- #0.103.
link(129,13) :- #0.87.
link(14,28) :- #0.952.
link(28,14) :- #0.791.
link(14,29) :- #0.586.
link(29,14) :- #0.77.
link(14,35) :- #0.35.
link(35,14) :- #0.676.
link(14,37) :- #0.29.
link(37,14) :- #0.845.
link(14,48) :- #0.341.
link(48,14) :- #0.122.
link(14,49) :- #0.753.
link(49,14) :- #0.833.
link(14,62) :- #0.299.
link(62,14) :- #0.242.
link(14,66) :- #0.905.
link(66,14) :- #0.907.
link(14,73) :- #0.249.
link(73,14) :- #0.466.
link(14,83) :- #0.201.
link(83,14) :- #0.175.
link(14,101) :- #0.282.
link(101,14) :- #0.654.
link(14,103) :- #0.11.
link(103,14) :- #0.086.
link(14,123) :- #0.733.
link(123,14) :- #0.306.
link(14,130) :- #0.846.
link(130,14) :- #0.518.
link(15,18) :- #0.952.
link(18,15) :- #0.948.
link(15,21) :- #0.542.
link(21,15) :- #0.379.
link(15,26) :- #0.823.
link(26,15) :- #0.576.
link(15,45) :- #0.706.
link(45,15) :- #0.212.
link(15,47) :- #0.154.
link(47,15) :- #0.644.
link(15,59) :- #0.559.
link(59,15) :- #0.582.
link(15,64) :- #0.641.
link(64,15) :- #0.163.
link(15,75) :- #0.239.
link(75,15) :- #0.571.
link(15,90) :- #0.467.
link(90,15) :- #0.34.
link(15,96) :- #0.876.
link(96,15) :- #0.342.
link(15,112) :- #0.126.
link(112,15) :- #0.757.
link(15,118) :- #0.386.
link(118,15) :- #0.74.
link(15,122) :- #0.777.
link(122,15) :- #0.564.
link(16,18) :- #0.579.
link(18,16) :- #0.189.
link(16,26) :- #0.149.
link(26,16) :- #0.602.
link(16,45) :- #0.792.
link(45,16) :- #0.378.
link(16,54) :- #0.676.
link(54,16) :- #0.861.
link(16,65) :- #0.866.
link(65,16) :- #0.468.
link(16,70) :- #0.348.
link(70,16) :- #0.536.
link(16,79) :- #0.527.
link(79,16) :- #0.996.
link(16,94) :- #0.586.
link(94,16) :- #0.986.
link(16,108) :- #0.51.
link(108,16) :- #0.288.
link(16,113) :- #0.849.
link(113,16) :- #0.823.
link(16,116) :- #0.187.
link(116,16) :- #0.847.
link(16,126) :- #0.467.
link(126,16) :- #0.644.
link(16,129) :- #0.698.
link(129,16) :- #0.851.
link(17,20) :- #0.406.
link(20,17) :- #0.639.
link(17,22) :- #0.428.
link(22,17) :- #0.926.
link(17,25) :- #0.834.
link(25,17) :- #0.668.
link(17,26) :- #0.852.
link(26,17) :- #0.75.
link(17,27) :- #0.125.
link(27,17) :- #0.801.
link(17,35) :- #0.811.
link(35,17) :- #0.751.
link(17,36) :- #0.623.
link(36,17) :- #0.694.
link(17,49) :- #0.031.
link(49,17) :- #0.142.
link(17,55) :- #0.137.
link(55,17) :- #0.233.
link(17,70) :- #0.358.
link(70,17) :- #0.296.
link(17,89) :- #0.121.
link(89,17) :- #0.37.
link(17,90) :- #0.746.
link(90,17) :- #0.021.
link(17,112) :- #0.013.
link(112,17) :- #0.922.
link(17,116) :- #0.356.
link(116,17) :- #0.658.
link(17,122) :- #0.767.
link(122,17) :- #0.874.
link(18,25) :- #0.367.
link(25,18) :- #0.141.
link(18,32) :- #0.739.
link(32,18) :- #0.636.
link(18,50) :- #0.768.
link(50,18) :- #0.771.
link(18,52) :- #0.149.
link(52,18) :- #0.071.
link(18,82) :- #0.804.
link(82,18) :- #0.574.
link(18,90) :- #0.303.
link(90,18) :- #0.454.
link(18,111) :- #0.057.
link(111,18) :- #0.772.
link(18,120) :- #0.938.
link(120,18) :- #0.925.
link(18,128) :- #0.827.
link(128,18) :- #0.238.
link(19,31) :- #0.771.
link(31,19) :- #0.27.
link(19,35) :- #0.369.
link(35,19) :- #0.413.
link(19,74) :- #0.789.
link(74,19) :- #0.907.
link(19,76) :- #0.207.
link(76,19) :- #0.242.
link(19,91) :- #0.816.
link(91,19) :- #0.749.
link(19,103) :- #0.799.
link(103,19) :- #0.257.
link(19,120) :- #0.501.
link(120,19) :- #0.982.
link(19,123) :- #0.845.
link(123,19) :- #0.32.
link(19,129) :- #0.248.
link(129,19) :- #0.905.
link(20,32) :- #0.879.
link(32,20) :- #0.276.
link(20,35) :- #0.833.
link(35,20) :- #0.451.
link(20,36) :- #0.19.
link(36,20) :- #0.17.
link(20,55) :- #0.029.
link(55,20) :- #0.344.
link(20,62) :- #0.541.
link(62,20) :- #0.843.
link(20,71) :- #0.401.
link(71,20) :- #0.327.
link(20,73) :- #0.549.
link(73,20) :- #0.029.
link(20,82) :- #0.649.
link(82,20) :- #0.469.
link(20,103) :- #0.543.
link(103,20) :- #0.055.
link(20,104) :- #0.062.
link(104,20) :- #0.174.
link(20,119) :- #0.324.
link(119,20) :- #0.408.
link(20,122) :- #0.471.
link(122,20) :- #0.371.
link(20,126) :- #0.755.
link(126,20) :- #0.805.
link(21,24) :- #0.99.
link(24,21) :- #0.327.
link(21,26) :- #0.851.
link(26,21) :- #0.497.
link(21,38) :- #0.876.
link(38,21) :- #0.969.
link(21,42) :- #0.746.
link(42,21) :- #0.962.
link(21,44) :- #0.454.
link(44,21) :- #0.178.
link(21,60) :- #0.234.
link(60,21) :- #0.388.
link(21,71) :- #0.572.
link(71,21) :- #0.929.
link(21,82) :- #0.86.
link(82,21) :- #0.61.
link(21,89) :- #0.917.
link(89,21) :- #0.806.
link(21,104) :- #0.523.
link(104,21) :- #0.939.
link(21,120) :- #0.471.
link(120,21) :- #0.297.
link(21,129) :- #0.304.
link(129,21) :- #0.288.
link(22,25) :- #0.692.
link(25,22) :- #0.558.
link(22,38) :- #0.651.
link(38,22) :- #0.785.
link(22,42) :- #0.886.
link(42,22) :- #0.334.
link(22,45) :- #0.833.
link(45,22) :- #0.809.
link(22,49) :- #0.827.
link(49,22) :- #0.3.
link(22,59) :- #0.758.
link(59,22) :- #0.73.
link(22,65) :- #0.64.
link(65,22) :- #0.965.
link(22,68) :- #0.269.
link(68,22) :- #0.33.
link(22,91) :- #0.295.
link(91,22) :- #0.996.
link(22,95) :- #0.941.
link(95,22) :- #0.533.
link(22,100) :- #0.863.
link(100,22) :- #0.413.
link(22,117) :- #0.47.
link(117,22) :- #0.989.
link(22,118) :- #0.838.
link(118,22) :- #0.934.
link(22,119) :- #0.009.
link(119,22) :- #0.851.
link(22,122) :- #0.879.
link(122,22) :- #0.051.
link(22,125) :- #0.32.
link(125,22) :- #0.634.
link(23,35) :- #0.01.
link(35,23) :- #0.408.
link(23,41) :- #0.499.
link(41,23) :- #0.98.
link(23,48) :- #0.601.
link(48,23) :- #0.233.
link(23,50) :- #0.001.
link(50,23) :- #0.848.
link(23,54) :- #0.06.
link(54,23) :- #0.887.
link(23,65) :- #0.11.
link(65,23) :- #0.821.
link(23,69) :- #0.272.
link(69,23) :- #0.888.
link(23,78) :- #0.09.
link(78,23) :- #0.735.
link(23,96) :- #0.317.
link(96,23) :- #0.779.
link(23,100) :- #0.665.
link(100,23) :- #0.448.
link(23,106) :- #0.25.
link(106,23) :- #0.95.
link(24,27) :- #0.011.
link(27,24) :- #0.715.
link(24,42) :- #0.619.
link(42,24) :- #0.665.
link(24,85) :- #0.953.
link(85,24) :- #0.512.
link(24,89) :- #0.732.
link(89,24) :- #0.291.
link(24,92) :- #0.984.
link(92,24) :- #0.845.
link(24,95) :- #0.172.
link(95,24) :- #0.504.
link(24,97) :- #0.046.
link(97,24) :- #0.703.
link(24,99) :- #0.993.
link(99,24) :- #0.666.
link(24,106) :- #0.878.
link(106,24) :- #0.077.
link(24,115) :- #0.946.
link(115,24) :- #0.668.
link(24,125) :- #0.247.
link(125,24) :- #0.455.
link(25,41) :- #0.761.
link(41,25) :- #0.341.
link(25,61) :- #0.351.
link(61,25) :- #0.171.
link(25,63) :- #0.328.
link(63,25) :- #0.845.
link(25,76) :- #0.396.
link(76,25) :- #0.074.
link(25,80) :- #0.781.
link(80,25) :- #0.472.
link(25,81) :- #0.188.
link(81,25) :- #0.93.
link(25,93) :- #0.304.
link(93,25) :- #0.751.
link(25,98) :- #0.112.
link(98,25) :- #0.535.
link(25,99) :- #0.526.
link(99,25) :- #0.033.
link(25,100) :- #0.067.
link(100,25) :- #0.821.
link(25,107) :- #0.878.
link(107,25) :- #0.352.
link(25,111) :- #0.442.
link(111,25) :- #0.248.
link(25,130) :- #0.25.
link(130,25) :- #0.068.
link(26,31) :- #0.822.
link(31,26) :- #0.025.
link(26,32) :- #0.795.
link(32,26) :- #0.772.
link(26,36) :- #0.549.
link(36,26) :- #0.191.
link(26,71) :- #0.28.
link(71,26) :- #0.294.
link(26,81) :- #0.874.
link(81,26) :- #0.462.
link(26,97) :- #0.858.
link(97,26) :- #0.342.
link(26,106) :- #0.302.
link(106,26) :- #0.974.
link(26,114) :- #0.494.
link(114,26) :- #0.647.
link(26,120) :- #0.694.
link(120,26) :- #0.314.
link(26,122) :- #0.345.
link(122,26) :- #0.343.
link(27,36) :- #0.038.
link(36,27) :- #0.504.
link(27,43) :- #0.465.
link(43,27) :- #0.192.
link(27,51) :- #0.054.
link(51,27) :- #0.202.
link(27,66) :- #0.035.
link(66,27) :- #0.786.
link(27,70) :- #0.398.
link(70,27) :- #0.193.
link(27,88) :- #0.614.
link(88,27) :- #0.919.
link(27,91) :- #0.32.
link(91,27) :- #0.176.
link(27,113) :- #0.388.
link(113,27) :- #0.253.
link(27,116) :- #0.79.
link(116,27) :- #0.803.
link(27,118) :- #0.015.
link(118,27) :- #0.337.
link(28,51) :- #0.267.
link(51,28) :- #0.365.
link(28,72) :- #0.244.
link(72,28) :- #0.198.
link(28,89) :- #0.996.
link(89,28) :- #0.341.
link(28,123) :- #0.236.
link(123,28) :- #0.469.
link(29,31) :- #0.694.
link(31,29) :- #0.235.
link(29,32) :- #0.253.
link(32,29) :- #0.29.
link(29,37) :- #0.427.
link(37,29) :- #0.669.
link(29,43) :- #0.675.
link(43,29) :- #0.781.
link(29,74) :- #0.645.
link(74,29) :- #0.111.
link(29,80) :- #0.88.
link(80,29) :- #0.385.
link(29,114) :- #0.771.
link(114,29) :- #0.832.
link(29,119) :- #0.397.
link(119,29) :- #0.834.
link(30,36) :- #0.179.
link(36,30) :- #0.827.
link(30,43) :- #0.483.
link(43,30) :- #0.429.
link(30,44) :- #0.101.
link(44,30) :- #0.46.
link(30,51) :- #0.39.
link(51,30) :- #0.946.
link(30,72) :- #0.456.
link(72,30) :- #0.088.
link(30,110) :- #0.419.
link(110,30) :- #0.137.
link(30,119) :- #0.053.
link(119,30) :- #0.972.
link(30,121) :- #0.502.
link(121,30) :- #0.973.
link(31,35) :- #0.35.
link(35,31) :- #0.449.
link(31,37) :- #0.58.
link(37,31) :- #0.621.
link(31,45) :- #0.329.
link(45,31) :- #0.743.
link(31,61) :- #0.053.
link(61,31) :- #0.361.
link(31,64) :- #0.942.
link(64,31) :- #0.562.
link(31,65) :- #0.065.
link(65,31) :- #0.218.
link(31,66) :- #0.627.
link(66,31) :- #0.818.
link(31,70) :- #0.261.
link(70,31) :- #0.033.
link(31,87) :- #0.022.
link(87,31) :- #0.741.
link(31,105) :- #0.905.
link(105,31) :- #0.642.
link(31,118) :- #0.056.
link(118,31) :- #0.26.
link(32,42) :- #0.177.
link(42,32) :- #0.25.
link(32,44) :- #0.144.
link(44,32) :- #0.709.
link(32,53) :- #0.911.
link(53,32) :- #0.262.
link(32,59) :- #0.256.
link(59,32) :- #0.714.
link(32,83) :- #0.786.
link(83,32) :- #0.579.
link(32,97) :- #0.902.
link(97,32) :- #0.828.
link(32,99) :- #0.736.
link(99,32) :- #0.728.
link(32,107) :- #0.725.
link(107,32) :- #0.3.
link(32,110) :- #0.275.
link(110,32) :- #0.248.
link(32,119) :- #0.808.
link(119,32) :- #0.023.
link(33,37) :- #0.194.
link(37,33) :- #0.393.
link(33,55) :- #0.3.
link(55,33) :- #0.539.
link(33,72) :- #0.274.
link(72,33) :- #0.687.
link(33,96) :- #0.578.
link(96,33) :- #0.084.
link(33,101) :- #0.709.
link(101,33) :- #0.977.
link(33,109) :- #0.363.
link(109,33) :- #0.614.
link(33,116) :- #0.013.
link(116,33) :- #0.796.
link(33,123) :- #0.696.
link(123,33) :- #0.013.
link(33,124) :- #0.546.
link(124,33) :- #0.707.
link(34,37) :- #0.087.
link(37,34) :- #0.886.
link(34,41) :- #0.956.
link(41,34) :- #0.57.
link(34,46) :- #0.803.
link(46,34) :- #0.628.
link(34,59) :- #0.133.
link(59,34) :- #0.73.
link(34,72) :- #0.963.
link(72,34) :- #0.259.
link(34,97) :- #0.436.
link(97,34) :- #0.974.
link(34,110) :- #0.895.
link(110,34) :- #0.649.
link(34,115) :- #0.318.
link(115,34) :- #0.928.
link(35,41) :- #0.934.
link(41,35) :- #0.709.
link(35,70) :- #0.229.
link(70,35) :- #0.645.
link(35,82) :- #0.277.
link(82,35) :- #0.139.
link(35,106) :- #0.931.
link(106,35) :- #0.41.
link(35,113) :- #0.672.
link(113,35) :- #0.97.
link(35,121) :- #0.801.
link(121,35) :- #0.833.
link(35,126) :- #0.944.
link(126,35) :- #0.235.
link(36,69) :- #0.362.
link(69,36) :- #0.853.
link(36,82) :- #0.949.
link(82,36) :- #0.169.
link(36,99) :- #0.153.
link(99,36) :- #0.193.
link(36,100) :- #0.395.
link(100,36) :- #0.781.
link(36,115) :- #0.166.
link(115,36) :- #0.539.
link(36,116) :- #0.562.
link(116,36) :- #0.981.
link(37,59) :- #0.844.
link(59,37) :- #0.497.
link(37,67) :- #0.864.
link(67,37) :- #0.661.
link(37,84) :- #0.886.
link(84,37) :- #0.438.
link(37,88) :- #0.02.
link(88,37) :- #0.689.
link(37,98) :- #0.739.
link(98,37) :- #0.04.
link(37,117) :- #0.644.
link(117,37) :- #0.318.
link(38,42) :- #0.424.
link(42,38) :- #0.905.
link(38,45) :- #0.997.
link(45,38) :- #0.389.
link(38,48) :- #0.509.
link(48,38) :- #0.577.
link(38,68) :- #0.431.
link(68,38) :- #0.213.
link(38,75) :- #0.225.
link(75,38) :- #0.606.
link(38,77) :- #0.633.
link(77,38) :- #0.478.
link(38,83) :- #0.7.
link(83,38) :- #0.892.
link(38,84) :- #0.644.
link(84,38) :- #0.738.
link(38,89) :- #0.521.
link(89,38) :- #0.107.
link(38,90) :- #0.874.
link(90,38) :- #0.454.
link(38,110) :- #0.453.
link(110,38) :- #0.673.
link(38,115) :- #0.263.
link(115,38) :- #0.398.
link(38,120) :- #0.661.
link(120,38) :- #0.14.
link(38,127) :- #0.413.
link(127,38) :- #0.022.
link(39,41) :- #0.595.
link(41,39) :- #0.27.
link(39,42) :- #0.996.
link(42,39) :- #0.944.
link(39,49) :- #0.272.
link(49,39) :- #0.945.
link(39,54) :- #0.247.
link(54,39) :- #0.471.
link(39,55) :- #0.869.
link(55,39) :- #0.007.
link(39,60) :- #0.562.
link(60,39) :- #0.457.
link(39,64) :- #0.653.
link(64,39) :- #0.251.
link(39,68) :- #0.523.
link(68,39) :- #0.295.
link(39,74) :- #0.537.
link(74,39) :- #0.168.
link(39,76) :- #0.427.
link(76,39) :- #0.334.
link(39,86) :- #0.323.
link(86,39) :- #0.376.
link(39,101) :- #0.114.
link(101,39) :- #0.075.
link(39,123) :- #0.441.
link(123,39) :- #0.475.
link(39,125) :- #0.59.
link(125,39) :- #0.524.
link(40,63) :- #0.078.
link(63,40) :- #0.671.
link(40,85) :- #0.343.
link(85,40) :- #0.699.
link(40,101) :- #0.899.
link(101,40) :- #0.867.
link(40,103) :- #0.934.
link(103,40) :- #0.333.
link(40,107) :- #0.28.
link(107,40) :- #0.016.
link(40,108) :- #0.376.
link(108,40) :- #0.124.
link(40,113) :- #0.462.
link(113,40) :- #0.64.
link(40,128) :- #0.201.
link(128,40) :- #0.617.
link(41,69) :- #0.355.
link(69,41) :- #0.367.
link(41,79) :- #0.033.
link(79,41) :- #0.982.
link(41,86) :- #0.677.
link(86,41) :- #0.569.
link(41,93) :- #0.86.
link(93,41) :- #0.197.
link(41,94) :- #0.608.
link(94,41) :- #0.407.
link(41,97) :- #0.249.
link(97,41) :- #0.533.
link(41,99) :- #0.437.
link(99,41) :- #0.468.
link(41,115) :- #0.034.
link(115,41) :- #0.893.
link(41,125) :- #0.573.
link(125,41) :- #0.224.
link(41,126) :- #0.915.
link(126,41) :- #0.641.
link(41,127) :- #0.463.
link(127,41) :- #0.733.
link(42,64) :- #0.147.
link(64,42) :- #0.652.
link(42,66) :- #0.063.
link(66,42) :- #0.519.
link(42,72) :- #0.639.
link(72,42) :- #0.682.
link(42,83) :- #0.702.
link(83,42) :- #0.825.
link(42,104) :- #0.175.
link(104,42) :- #0.875.
link(42,106) :- #0.965.
link(106,42) :- #0.303.
link(42,109) :- #0.788.
link(109,42) :- #0.563.
link(42,113) :- #0.172.
link(113,42) :- #0.311.
link(42,125) :- #0.187.
link(125,42) :- #0.186.
link(42,130) :- #0.628.
link(130,42) :- #0.21.
link(43,46) :- #0.255.
link(46,43) :- #0.292.
link(43,51) :- #0.882.
link(51,43) :- #0.039.
link(43,68) :- #0.385.
link(68,43) :- #0.578.
link(43,74) :- #0.363.
link(74,43) :- #0.501.
link(43,75) :- #0.591.
link(75,43) :- #0.907.
link(43,96) :- #0.979.
link(96,43) :- #0.262.
link(43,103) :- #0.004.
link(103,43) :- #0.063.
link(43,108) :- #0.196.
link(108,43) :- #0.629.
link(43,121) :- #0.474.
link(121,43) :- #0.875.
link(44,54) :- #0.213.
link(54,44) :- #0.039.
link(44,80) :- #0.22.
link(80,44) :- #0.734.
link(44,93) :- #0.489.
link(93,44) :- #0.734.
link(44,96) :- #0.042.
link(96,44) :- #0.484.
link(44,97) :- #0.114.
link(97,44) :- #0.025.
link(44,100) :- #0.712.
link(100,44) :- #0.367.
link(44,118) :- #0.493.
link(118,44) :- #0.76.
link(44,120) :- #0.235.
link(120,44) :- #0.166.
link(45,46) :- #0.051.
link(46,45) :- #0.881.
link(45,47) :- #0.625.
link(47,45) :- #0.556.
link(45,60) :- #0.184.
link(60,45) :- #0.98.
link(45,62) :- #0.166.
link(62,45) :- #0.129.
link(45,77) :- #0.461.
link(77,45) :- #0.845.
link(45,86) :- #0.455.
link(86,45) :- #0.656.
link(45,100) :- #0.966.
link(100,45) :- #0.604.
link(45,103) :- #0.479.
link(103,45) :- #0.138.
link(45,114) :- #0.104.
link(114,45) :- #0.679.
link(46,50) :- #0.84.
link(50,46) :- #0.726.
link(46,52) :- #0.962.
link(52,46) :- #0.771.
link(46,56) :- #0.834.
link(56,46) :- #0.839.
link(46,58) :- #0.136.
link(58,46) :- #0.132.
link(46,77) :- #0.292.
link(77,46) :- #0.025.
link(46,80) :- #0.643.
link(80,46) :- #0.707.
link(46,91) :- #0.897.
link(91,46) :- #0.497.
link(46,98) :- #0.201.
link(98,46) :- #0.23.
link(46,99) :- #0.69.
link(99,46) :- #0.56.
link(46,103) :- #0.482.
link(103,46) :- #0.004.
link(46,119) :- #0.731.
link(119,46) :- #0.656.
link(46,120) :- #0.45.
link(120,46) :- #0.24.
link(46,122) :- #0.73.
link(122,46) :- #0.663.
link(47,56) :- #0.189.
link(56,47) :- #0.018.
link(47,60) :- #0.02.
link(60,47) :- #0.777.
link(47,71) :- #0.633.
link(71,47) :- #0.871.
link(47,75) :- #0.6.
link(75,47) :- #0.528.
link(47,88) :- #0.807.
link(88,47) :- #0.142.
link(47,95) :- #0.381.
link(95,47) :- #0.572.
link(47,98) :- #0.955.
link(98,47) :- #0.35.
link(47,101) :- #0.866.
link(101,47) :- #0.207.
link(47,108) :- #0.648.
link(108,47) :- #0.279.
link(47,122) :- #0.902.
link(122,47) :- #0.422.
link(48,51) :- #0.381.
link(51,48) :- #0.353.
link(48,76) :- #0.913.
link(76,48) :- #0.584.
link(48,79) :- #0.571.
link(79,48) :- #0.178.
link(48,81) :- #0.125.
link(81,48) :- #0.938.
link(48,87) :- #0.492.
link(87,48) :- #0.339.
link(48,94) :- #0.338.
link(94,48) :- #0.461.
link(48,98) :- #0.621.
link(98,48) :- #0.45.
link(48,119) :- #0.938.
link(119,48) :- #0.475.
link(48,125) :- #0.771.
link(125,48) :- #0.766.
link(49,62) :- #0.343.
link(62,49) :- #0.984.
link(49,72) :- #0.402.
link(72,49) :- #0.94.
link(49,116) :- #0.212.
link(116,49) :- #0.154.
link(49,129) :- #0.411.
link(129,49) :- #0.829.
link(50,53) :- #0.55.
link(53,50) :- #0.306.
link(50,63) :- #0.845.
link(63,50) :- #0.868.
link(50,65) :- #0.567.
link(65,50) :- #0.752.
link(50,69) :- #0.371.
link(69,50) :- #0.797.
link(50,73) :- #0.642.
link(73,50) :- #0.55.
link(50,91) :- #0.235.
link(91,50) :- #0.592.
link(50,96) :- #0.371.
link(96,50) :- #0.619.
link(50,98) :- #0.392.
link(98,50) :- #0.795.
link(50,117) :- #0.871.
link(117,50) :- #0.856.
link(50,124) :- #0.445.
link(124,50) :- #0.111.
link(50,126) :- #0.884.
link(126,50) :- #0.65.
link(50,130) :- #0.156.
link(130,50) :- #0.86.
link(51,64) :- #0.827.
link(64,51) :- #0.545.
link(51,81) :- #0.354.
link(81,51) :- #0.437.
link(51,84) :- #0.538.
link(84,51) :- #0.224.
link(51,90) :- #0.548.
link(90,51) :- #0.414.
link(51,99) :- #0.773.
link(99,51) :- #0.179.
link(51,105) :- #0.306.
link(105,51) :- #0.82.
link(51,109) :- #0.443.
link(109,51) :- #0.934.
link(51,115) :- #0.277.
link(115,51) :- #0.886.
link(51,125) :- #0.526.
link(125,51) :- #0.638.
link(52,62) :- #0.3.
link(62,52) :- #0.352.
link(52,79) :- #0.605.
link(79,52) :- #0.86.
link(52,81) :- #0.725.
link(81,52) :- #0.047.
link(52,92) :- #0.103.
link(92,52) :- #0.156.
link(52,101) :- #0.343.
link(101,52) :- #0.905.
link(52,104) :- #0.751.
link(104,52) :- #0.162.
link(52,108) :- #0.945.
link(108,52) :- #0.798.
link(52,129) :- #0.298.
link(129,52) :- #0.611.
link(52,130) :- #0.985.
link(130,52) :- #0.466.
link(53,61) :- #0.36.
link(61,53) :- #0.718.
link(53,75) :- #0.193.
link(75,53) :- #0.537.
link(53,77) :- #0.964.
link(77,53) :- #0.291.
link(53,91) :- #0.633.
link(91,53) :- #0.906.
link(53,113) :- #0.242.
link(113,53) :- #0.617.
link(53,127) :- #0.266.
link(127,53) :- #0.972.
link(53,129) :- #0.99.
link(129,53) :- #0.776.
link(54,61) :- #0.653.
link(61,54) :- #0.93.
link(54,64) :- #0.993.
link(64,54) :- #0.381.
link(54,103) :- #0.127.
link(103,54) :- #0.206.
link(54,106) :- #0.892.
link(106,54) :- #0.528.
link(54,108) :- #0.648.
link(108,54) :- #0.441.
link(54,109) :- #0.732.
link(109,54) :- #0.863.
link(54,122) :- #0.056.
link(122,54) :- #0.197.
link(54,129) :- #0.481.
link(129,54) :- #0.288.
link(55,61) :- #0.517.
link(61,55) :- #0.862.
link(55,69) :- #0.82.
link(69,55) :- #0.951.
link(55,76) :- #0.576.
link(76,55) :- #0.238.
link(55,81) :- #0.298.
link(81,55) :- #0.41.
link(55,83) :- #0.095.
link(83,55) :- #0.991.
link(55,87) :- #0.64.
link(87,55) :- #0.322.
link(55,97) :- #0.943.
link(97,55) :- #0.946.
link(55,101) :- #0.374.
link(101,55) :- #0.785.
link(55,118) :- #0.223.
link(118,55) :- #0.835.
link(55,120) :- #0.132.
link(120,55) :- #0.728.
link(55,122) :- #0.847.
link(122,55) :- #0.334.
link(55,126) :- #0.386.
link(126,55) :- #0.135.
link(56,70) :- #0.078.
link(70,56) :- #0.482.
link(56,77) :- #0.485.
link(77,56) :- #0.495.
link(56,85) :- #0.311.
link(85,56) :- #0.965.
link(56,102) :- #0.497.
link(102,56) :- #0.057.
link(56,105) :- #0.469.
link(105,56) :- #0.482.
link(56,114) :- #0.282.
link(114,56) :- #0.189.
link(56,126) :- #0.451.
link(126,56) :- #0.818.
link(56,128) :- #0.984.
link(128,56) :- #0.324.
link(57,75) :- #0.589.
link(75,57) :- #0.388.
link(58,59) :- #0.434.
link(59,58) :- #0.695.
link(58,72) :- #0.879.
link(72,58) :- #0.493.
link(58,77) :- #0.255.
link(77,58) :- #0.687.
link(58,79) :- #0.418.
link(79,58) :- #0.094.
link(58,85) :- #0.445.
link(85,58) :- #0.264.
link(58,93) :- #0.079.
link(93,58) :- #0.592.
link(58,99) :- #0.024.
link(99,58) :- #0.571.
link(58,103) :- #0.554.
link(103,58) :- #0.335.
link(58,110) :- #0.914.
link(110,58) :- #0.442.
link(59,62) :- #0.971.
link(62,59) :- #0.625.
link(59,69) :- #0.211.
link(69,59) :- #0.844.
link(59,80) :- #0.759.
link(80,59) :- #0.278.
link(59,92) :- #0.658.
link(92,59) :- #0.184.
link(59,115) :- #0.247.
link(115,59) :- #0.612.
link(59,116) :- #0.604.
link(116,59) :- #0.097.
link(59,118) :- #0.933.
link(118,59) :- #0.411.
link(59,120) :- #0.567.
link(120,59) :- #0.872.
link(59,128) :- #0.778.
link(128,59) :- #0.613.
link(60,73) :- #0.44.
link(73,60) :- #0.679.
link(60,74) :- #0.52.
link(74,60) :- #0.052.
link(60,77) :- #0.061.
link(77,60) :- #0.377.
link(60,98) :- #0.555.
link(98,60) :- #0.775.
link(60,107) :- #0.845.
link(107,60) :- #0.064.
link(60,114) :- #0.598.
link(114,60) :- #0.684.
link(61,80) :- #0.06.
link(80,61) :- #0.822.
link(61,83) :- #0.16.
link(83,61) :- #0.146.
link(61,95) :- #0.504.
link(95,61) :- #0.013.
link(61,111) :- #0.017.
link(111,61) :- #0.949.
link(61,113) :- #0.471.
link(113,61) :- #0.186.
link(61,116) :- #0.736.
link(116,61) :- #0.404.
link(61,130) :- #0.012.
link(130,61) :- #0.366.
link(62,88) :- #0.996.
link(88,62) :- #0.613.
link(62,106) :- #0.518.
link(106,62) :- #0.432.
link(62,108) :- #0.79.
link(108,62) :- #0.881.
link(62,127) :- #0.138.
link(127,62) :- #0.257.
link(62,128) :- #0.532.
link(128,62) :- #0.992.
link(63,103) :- #0.683.
link(103,63) :- #0.414.
link(63,117) :- #0.909.
link(117,63) :- #0.718.
link(63,124) :- #0.589.
link(124,63) :- #0.979.
link(63,126) :- #0.814.
link(126,63) :- #0.363.
link(63,128) :- #0.611.
link(128,63) :- #0.431.
link(64,68) :- #0.691.
link(68,64) :- #0.774.
link(64,74) :- #0.962.
link(74,64) :- #0.757.
link(64,92) :- #0.598.
link(92,64) :- #0.646.
link(64,101) :- #0.152.
link(101,64) :- #0.924.
link(64,110) :- #0.722.
link(110,64) :- #0.96.
link(64,112) :- #0.274.
link(112,64) :- #0.163.
link(64,120) :- #0.157.
link(120,64) :- #0.218.
link(65,79) :- #0.55.
link(79,65) :- #0.454.
link(65,90) :- #0.468.
link(90,65) :- #0.979.
link(65,92) :- #0.81.
link(92,65) :- #0.007.
link(65,95) :- #0.992.
link(95,65) :- #0.063.
link(65,106) :- #0.943.
link(106,65) :- #0.841.
link(65,111) :- #0.311.
link(111,65) :- #0.088.
link(66,74) :- #0.105.
link(74,66) :- #0.1.
link(66,87) :- #0.953.
link(87,66) :- #0.574.
link(66,90) :- #0.52.
link(90,66) :- #0.036.
link(66,98) :- #0.783.
link(98,66) :- #0.371.
link(66,108) :- #0.509.
link(108,66) :- #0.411.
link(66,109) :- #0.81.
link(109,66) :- #0.257.
link(66,116) :- #0.086.
link(116,66) :- #0.062.
link(67,82) :- #0.243.
link(82,67) :- #0.193.
link(67,87) :- #0.161.
link(87,67) :- #0.78.
link(67,92) :- #0.596.
link(92,67) :- #0.246.
link(67,99) :- #0.323.
link(99,67) :- #0.165.
link(67,111) :- #0.874.
link(111,67) :- #0.962.
link(67,116) :- #0.186.
link(116,67) :- #0.555.
link(67,119) :- #0.233.
link(119,67) :- #0.03.
link(67,126) :- #0.753.
link(126,67) :- #0.12.
link(67,129) :- #0.875.
link(129,67) :- #0.05.
link(68,71) :- #0.56.
link(71,68) :- #0.194.
link(68,78) :- #0.053.
link(78,68) :- #0.038.
link(68,91) :- #0.236.
link(91,68) :- #0.506.
link(68,96) :- #0.174.
link(96,68) :- #0.752.
link(68,109) :- #0.444.
link(109,68) :- #0.16.
link(68,114) :- #0.842.
link(114,68) :- #0.75.
link(68,121) :- #0.879.
link(121,68) :- #0.627.
link(69,70) :- #0.804.
link(70,69) :- #0.461.
link(69,71) :- #0.698.
link(71,69) :- #0.165.
link(69,81) :- #0.918.
link(81,69) :- #0.826.
link(69,85) :- #0.374.
link(85,69) :- #0.694.
link(69,113) :- #0.323.
link(113,69) :- #0.797.
link(69,116) :- #0.968.
link(116,69) :- #0.173.
link(70,74) :- #0.607.
link(74,70) :- #0.344.
link(70,75) :- #0.134.
link(75,70) :- #0.812.
link(70,77) :- #0.33.
link(77,70) :- #0.313.
link(70,82) :- #0.946.
link(82,70) :- #0.367.
link(70,86) :- #0.171.
link(86,70) :- #0.599.
link(70,95) :- #0.054.
link(95,70) :- #0.307.
link(70,116) :- #0.129.
link(116,70) :- #0.534.
link(70,120) :- #0.423.
link(120,70) :- #0.675.
link(70,125) :- #0.903.
link(125,70) :- #0.083.
link(70,127) :- #0.382.
link(127,70) :- #0.912.
link(71,83) :- #0.117.
link(83,71) :- #0.489.
link(71,87) :- #0.256.
link(87,71) :- #0.358.
link(71,90) :- #0.608.
link(90,71) :- #0.204.
link(71,112) :- #0.956.
link(112,71) :- #0.416.
link(72,96) :- #0.276.
link(96,72) :- #0.641.
link(72,97) :- #0.7.
link(97,72) :- #0.555.
link(72,105) :- #0.166.
link(105,72) :- #0.02.
link(72,108) :- #0.038.
link(108,72) :- #0.402.
link(72,110) :- #0.463.
link(110,72) :- #0.06.
link(72,122) :- #0.387.
link(122,72) :- #0.698.
link(73,96) :- #0.191.
link(96,73) :- #0.757.
link(73,101) :- #0.072.
link(101,73) :- #0.828.
link(73,109) :- #0.837.
link(109,73) :- #0.979.
link(73,110) :- #0.855.
link(110,73) :- #0.144.
link(73,114) :- #0.067.
link(114,73) :- #0.181.
link(73,115) :- #0.941.
link(115,73) :- #0.346.
link(73,121) :- #0.871.
link(121,73) :- #0.419.
link(73,128) :- #0.701.
link(128,73) :- #0.453.
link(74,76) :- #0.816.
link(76,74) :- #0.939.
link(74,78) :- #0.742.
link(78,74) :- #0.4.
link(74,84) :- #0.875.
link(84,74) :- #0.383.
link(74,117) :- #0.322.
link(117,74) :- #0.24.
link(74,118) :- #0.294.
link(118,74) :- #0.837.
link(74,123) :- #0.663.
link(123,74) :- #0.344.
link(75,84) :- #0.834.
link(84,75) :- #0.247.
link(75,89) :- #0.749.
link(89,75) :- #0.667.
link(75,97) :- #0.211.
link(97,75) :- #0.656.
link(75,112) :- #0.266.
link(112,75) :- #0.067.
link(75,116) :- #0.709.
link(116,75) :- #0.353.
link(75,119) :- #0.229.
link(119,75) :- #0.223.
link(75,125) :- #0.327.
link(125,75) :- #0.485.
link(75,127) :- #0.386.
link(127,75) :- #0.846.
link(76,87) :- #0.015.
link(87,76) :- #0.496.
link(76,96) :- #0.09.
link(96,76) :- #0.607.
link(76,105) :- #0.982.
link(105,76) :- #0.79.
link(76,116) :- #0.891.
link(116,76) :- #0.447.
link(76,119) :- #0.622.
link(119,76) :- #0.931.
link(76,123) :- #0.895.
link(123,76) :- #0.204.
link(76,130) :- #0.804.
link(130,76) :- #0.353.
link(77,82) :- #0.744.
link(82,77) :- #0.834.
link(77,85) :- #0.255.
link(85,77) :- #0.787.
link(77,86) :- #0.054.
link(86,77) :- #0.858.
link(77,91) :- #0.022.
link(91,77) :- #0.999.
link(77,95) :- #0.173.
link(95,77) :- #0.159.
link(77,100) :- #0.072.
link(100,77) :- #0.276.
link(77,121) :- #0.861.
link(121,77) :- #0.39.
link(77,123) :- #0.351.
link(123,77) :- #0.558.
link(78,79) :- #0.268.
link(79,78) :- #0.127.
link(78,80) :- #0.063.
link(80,78) :- #0.876.
link(78,103) :- #0.42.
link(103,78) :- #0.574.
link(78,108) :- #0.785.
link(108,78) :- #0.803.
link(78,111) :- #0.982.
link(111,78) :- #0.234.
link(78,112) :- #0.71.
link(112,78) :- #0.762.
link(78,119) :- #0.
link(119,78) :- #0.113.
link(78,126) :- #0.985.
link(126,78) :- #0.235.
link(79,88) :- #0.346.
link(88,79) :- #0.803.
link(79,90) :- #0.545.
link(90,79) :- #0.117.
link(79,95) :- #0.186.
link(95,79) :- #0.457.
link(79,97) :- #0.158.
link(97,79) :- #0.418.
link(79,111) :- #0.693.
link(111,79) :- #0.249.
link(79,116) :- #0.748.
link(116,79) :- #0.586.
link(79,121) :- #0.578.
link(121,79) :- #0.215.
link(79,127) :- #0.45.
link(127,79) :- #0.263.
link(80,81) :- #0.82.
link(81,80) :- #0.504.
link(80,89) :- #0.917.
link(89,80) :- #0.064.
link(80,129) :- #0.927.
link(129,80) :- #0.28.
link(81,91) :- #0.922.
link(91,81) :- #0.074.
link(81,95) :- #0.302.
link(95,81) :- #0.051.
link(81,116) :- #0.485.
link(116,81) :- #0.22.
link(82,130) :- #0.317.
link(130,82) :- #0.728.
link(83,93) :- #0.112.
link(93,83) :- #0.408.
link(83,99) :- #0.636.
link(99,83) :- #0.627.
link(83,105) :- #0.05.
link(105,83) :- #0.634.
link(83,106) :- #0.407.
link(106,83) :- #0.024.
link(83,112) :- #0.036.
link(112,83) :- #0.773.
link(84,110) :- #0.504.
link(110,84) :- #0.221.
link(84,112) :- #0.036.
link(112,84) :- #0.2.
link(85,88) :- #0.814.
link(88,85) :- #0.039.
link(85,106) :- #0.253.
link(106,85) :- #0.008.
link(85,112) :- #0.171.
link(112,85) :- #0.646.
link(85,123) :- #0.712.
link(123,85) :- #0.484.
link(85,129) :- #0.437.
link(129,85) :- #0.932.
link(86,98) :- #0.234.
link(98,86) :- #0.721.
link(86,103) :- #0.006.
link(103,86) :- #0.635.
link(86,104) :- #0.566.
link(104,86) :- #0.069.
link(86,107) :- #0.878.
link(107,86) :- #0.982.
link(86,120) :- #0.909.
link(120,86) :- #0.521.
link(86,121) :- #0.149.
link(121,86) :- #0.074.
link(86,128) :- #0.434.
link(128,86) :- #0.518.
link(87,99) :- #0.165.
link(99,87) :- #0.064.
link(88,90) :- #0.676.
link(90,88) :- #0.904.
link(88,94) :- #0.581.
link(94,88) :- #0.766.
link(88,95) :- #0.586.
link(95,88) :- #0.486.
link(88,100) :- #0.641.
link(100,88) :- #0.558.
link(89,92) :- #0.583.
link(92,89) :- #0.556.
link(89,93) :- #0.283.
link(93,89) :- #0.822.
link(89,107) :- #0.179.
link(107,89) :- #0.677.
link(89,108) :- #0.262.
link(108,89) :- #0.158.
link(89,116) :- #0.642.
link(116,89) :- #0.53.
link(89,125) :- #0.64.
link(125,89) :- #0.603.
link(89,128) :- #0.101.
link(128,89) :- #0.802.
link(90,100) :- #0.497.
link(100,90) :- #0.203.
link(90,122) :- #0.47.
link(122,90) :- #0.222.
link(90,128) :- #0.034.
link(128,90) :- #0.956.
link(91,98) :- #0.239.
link(98,91) :- #0.43.
link(91,103) :- #0.712.
link(103,91) :- #0.869.
link(91,107) :- #0.498.
link(107,91) :- #0.312.
link(91,115) :- #0.344.
link(115,91) :- #0.306.
link(91,128) :- #0.668.
link(128,91) :- #0.631.
link(92,102) :- #0.226.
link(102,92) :- #0.824.
link(92,104) :- #0.047.
link(104,92) :- #0.897.
link(92,109) :- #0.141.
link(109,92) :- #0.103.
link(92,111) :- #0.03.
link(111,92) :- #0.622.
link(92,115) :- #0.158.
link(115,92) :- #0.693.
link(92,124) :- #0.435.
link(124,92) :- #0.808.
link(92,126) :- #0.519.
link(126,92) :- #0.988.
link(92,130) :- #0.67.
link(130,92) :- #0.2.
link(93,103) :- #0.871.
link(103,93) :- #0.011.
link(93,106) :- #0.138.
link(106,93) :- #0.761.
link(93,112) :- #0.802.
link(112,93) :- #0.017.
link(93,121) :- #0.717.
link(121,93) :- #0.59.
link(93,124) :- #0.018.
link(124,93) :- #0.157.
link(94,102) :- #0.71.
link(102,94) :- #0.297.
link(94,107) :- #0.901.
link(107,94) :- #0.254.
link(94,109) :- #0.335.
link(109,94) :- #0.519.
link(94,113) :- #0.205.
link(113,94) :- #0.152.
link(94,115) :- #0.831.
link(115,94) :- #0.696.
link(94,123) :- #0.672.
link(123,94) :- #0.049.
link(94,128) :- #0.853.
link(128,94) :- #0.699.
link(95,109) :- #0.821.
link(109,95) :- #0.084.
link(95,113) :- #0.379.
link(113,95) :- #0.917.
link(95,118) :- #0.475.
link(118,95) :- #0.359.
link(95,119) :- #0.335.
link(119,95) :- #0.649.
link(95,128) :- #0.865.
link(128,95) :- #0.364.
link(96,102) :- #0.841.
link(102,96) :- #0.399.
link(96,110) :- #0.047.
link(110,96) :- #0.538.
link(97,103) :- #0.427.
link(103,97) :- #0.733.
link(97,110) :- #0.481.
link(110,97) :- #0.988.
link(97,118) :- #0.769.
link(118,97) :- #0.021.
link(97,126) :- #0.924.
link(126,97) :- #0.135.
link(98,106) :- #0.979.
link(106,98) :- #0.61.
link(98,130) :- #0.495.
link(130,98) :- #0.442.
link(99,103) :- #0.201.
link(103,99) :- #0.8.
link(99,111) :- #0.904.
link(111,99) :- #0.362.
link(100,102) :- #0.042.
link(102,100) :- #0.765.
link(101,108) :- #0.444.
link(108,101) :- #0.945.
link(101,113) :- #0.16.
link(113,101) :- #0.002.
link(101,114) :- #0.471.
link(114,101) :- #0.053.
link(101,129) :- #0.33.
link(129,101) :- #0.708.
link(102,114) :- #0.466.
link(114,102) :- #0.273.
link(102,117) :- #0.382.
link(117,102) :- #0.142.
link(102,121) :- #0.667.
link(121,102) :- #0.166.
link(102,126) :- #0.105.
link(126,102) :- #0.449.
link(102,127) :- #0.948.
link(127,102) :- #0.468.
link(103,111) :- #0.432.
link(111,103) :- #0.023.
link(103,112) :- #0.62.
link(112,103) :- #0.049.
link(104,119) :- #0.783.
link(119,104) :- #0.323.
link(105,110) :- #0.022.
link(110,105) :- #0.399.
link(105,116) :- #0.209.
link(116,105) :- #0.313.
link(105,123) :- #0.865.
link(123,105) :- #0.013.
link(106,113) :- #0.235.
link(113,106) :- #0.871.
link(106,121) :- #0.818.
link(121,106) :- #0.24.
link(106,123) :- #0.659.
link(123,106) :- #0.414.
link(107,112) :- #0.571.
link(112,107) :- #0.999.
link(107,113) :- #0.899.
link(113,107) :- #0.434.
link(107,122) :- #0.914.
link(122,107) :- #0.669.
link(107,125) :- #0.19.
link(125,107) :- #0.283.
link(108,109) :- #0.064.
link(109,108) :- #0.465.
link(108,120) :- #0.303.
link(120,108) :- #0.389.
link(108,121) :- #0.531.
link(121,108) :- #0.74.
link(109,120) :- #0.883.
link(120,109) :- #0.672.
link(111,113) :- #0.329.
link(113,111) :- #0.974.
link(111,124) :- #0.569.
link(124,111) :- #0.426.
link(111,128) :- #0.878.
link(128,111) :- #0.181.
link(112,115) :- #0.111.
link(115,112) :- #0.738.
link(112,117) :- #0.72.
link(117,112) :- #0.344.
link(115,126) :- #0.774.
link(126,115) :- #0.101.
link(115,128) :- #0.488.
link(128,115) :- #0.102.
link(116,123) :- #0.565.
link(123,116) :- #0.319.
link(117,120) :- #0.776.
link(120,117) :- #0.635.
link(117,128) :- #0.777.
link(128,117) :- #0.956.
link(119,126) :- #0.512.
link(126,119) :- #0.94.
link(122,128) :- #0.027.
link(128,122) :- #0.265.
link(125,127) :- #0.845.
link(127,125) :- #0.689.
link(126,130) :- #0.295.
link(130,126) :- #0.868.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
